Warren E. Miller

Miller, Stephanie E

Prolog: A Linguagem, A Máquina Abstrata de Warren e Implementações

The main motivation for using logic programming is to allow programmers to describe what they want separately of how to achieve this goal. In this context PROLOG is the most popular logic programming language, and the Warren Abstract Machine is its default execution model. The choice of this machine as a standard occurred due to the fact that it offers several advantages, such as portability an...

Antioxidant Effect of Lippia alba (Miller) N. E. Brown

Lippia alba is a shrub found in all regions of Brazil and other countries in South and Central America. L. alba exhibits variability among its different accessions, showing differences in morphology and in the composition of its essential oil. This study evaluated the phenolic profiles and the antioxidant activities of seven different accessions of L. alba. The seven accessions of L. alba studi...

h - embeddings Warren

Given a topological space X, a subspace Y of X is said to be Cembedded in X if every continuous real valued function on Y has a continuous extension to all of X. The notion of C-embedding is well understood and documented, as well as that of the more general notions of C∗-embedding and z-embedding. In this article we define a generalization of C-embedding and investigate some of its interesting...

The Warren Court : Constitutional Decision

The appointment in 1953 of Earl Warren as Chief Justice of the United States marked the beginning of a new era in the development of constitutional law. In the ensuing years changes of vast dimension and historic impact have taken place. Few men are better qualified to assess the significance of the decisions of the Warren Court than Archibald Cox, student of law, teacher of law and, from 1961 ...